Devyanin P. N., Leonova M. A. «The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB» // Applied Discrete Mathematics 2021. №52 C.83-96
Devyanin Petr N., Leonova Maria A. «Comparison of methods for modeling access control in os and dbms in Event-B for the purpose of their verification with Rodin and ProB tools» // Applied Discrete Mathematics. Supplement 2022. №15 C.90-99
Shelekhov V.I., Chushkin M.S. «Methods for synthesizing predicate program pieces» // Applied Discrete Mathematics. Supplement 2016. №9 C.126-128
Chushkin M. S. «Sketch completion for predicate programs by counterexamples guided synthesis» // Applied Discrete Mathematics. Supplement 2017. №10 C.151-153
